Proposiciones Incluidas